#problemas pseudo-booleanos